A Model-driven Co-design Flow for Embedded Systems
نویسندگان
چکیده
The UML (Unified Modeling Language), with the enhancements in UML 2.0, is receiving interest by an increasing number of industrial and academic groups from the EDA, embedded software and hardware systems, who look at it and at its extension mechanisms as a practical and standard means to define family of languages targeted to specific application domains and levels of abstraction, while providing unification. In the Embedded Systems and SoC (System-on-Chip) area, we defined a model-driven design methodology based on UML 2.0, UML profiles and C/C++/SystemC. In this paper, we extend this design flow in order to support the platform-based design principles. We also present the architecture of a prototype tool, which provides a graphical representation in UML (from a highlevel functional model down to RTL) of hardware and software components, C/C++/SystemC code generation from UML models, and a reverse engineering process from C/C++/SystemC code to UML models.
منابع مشابه
Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation
As SoC design complexity is escalating to new heights, there is a critical need to find adequate approaches and tools for handling SoC co-design aspects. Additionally, modern reconfigurable SoCs offer advantages over classical SoCs as they integrate adaptivity features to cope with mutable design requirements and environment needs. This paper presents a novel approach for addressing system adap...
متن کاملTargeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation
As SoC design complexity is escalating to new heights, there is a critical need to find adequate approaches and tools for handling SoC co-design aspects. Additionally, modern reconfigurable SoCs offer advantages over classical SoCs as they integrate adaptivity features to cope with mutable design requirements and environment needs. This paper presents a novel approach for addressing system adap...
متن کاملIntegrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow
Modern embedded systems development, due to systems complexity and multifaceted nature, requires flexible high-level design techniques and notations. In this context, model-driven approaches are gaining popularity, both in industry as well as in academy, since they offer a high degree of abstraction and provide a common framework for the design, simulation and configuration management of comple...
متن کاملModelling and verification of embedded systems based on Petri net oriented representations
FACULTY OF ENGINEERING ELECTRONICS AND COMPUTER SCIENCE DEPARTMENT Doctor of Philosophy MODELLING AND VERIFICATION OF EMBEDDED SYSTEMS BASED ON PETRI NET ORIENTED REPRESENTATIONS by Mauricio Varea Driven by the demand for more functionality, the complexity involved in the design of embedded systems continues to increase. This has lead to a progressive increase in the amount of control and data ...
متن کاملA model-driven validation & verification environment for embedded systems
This paper presents a model-driven environment for HW/SW co–design and analysis of embedded systems based on the Unified Modeling Language, UML profiles for SystemC/multithread C, and the Abstract State Machine formal method. The environment supports a model-driven design methodology which provides a graphical high-level representation of hardware and software components, and allows C/C++/Syste...
متن کامل